The Proof Society Summer School and Workshop 2023